(assert (((_))))
